University of Warsaw - PDFSEARCH.IO - Document Search Engine

University of Warsaw
Results: 489

#	Item
91	The conference venues: Thursday-Friday – The Graduate School for Social Research, The Polish Academy of Sciences, Nowy Świat Street 72 • Saturday-Sunday –The University of Warsaw, Stary BUW, Krakowskie Przedmieśc Add to Reading List Source URL: cognitioninaction.files.wordpress.com Language: English - Date: 2015-10-07 05:21:42
92	Weak MSO+U over infinite trees∗ Mikołaj Bojańczyk1 and Szymon Toruńczyk†University of Warsaw Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2015-05-11 06:15:14
93	Institute of Theoretical Physics Warsaw University Hoża 69, PlWarsaw Two Senior Visitor Positions in Theoretical Physics Chair of the Theory of Particle Physics and Elementary Interactions, Add to Reading List Source URL: www.fuw.edu.pl Language: English - Date: 2006-02-07 10:26:08
94	Distributed Cryptography Based on the Proofs of Work? Marcin Andrychowicz?? and Stefan Dziembowski? ? ? University of Warsaw Abstract. Motivated by the recent success of Bitcoin we study the question of constructing dist Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2014-12-17 15:24:21
95	Institute of Theoreti al Physi s Warsaw University Ho»a 69, PlWarsaw Senior Visitor Position in Theoreti al Physi s Chair of the Theory of Parti les and Elementary Intera tions, Warsaw Add to Reading List Source URL: www.fuw.edu.pl Language: English - Date: 2007-07-31 08:29:26
96	Toward Model Theory with Data Values Mikolaj Boja´ nczyk and Thomas Place? University of Warsaw Abstract. We define a variant of first-order logic that deals with data Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2015-05-11 06:12:42
97	Decidability of Weak Simulation on One-counter Nets∗ Piotr Hofman1 , Richard Mayr2 , and Patrick Totzke2 1 University of Warsaw, Poland University of Edinburgh, UK Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-04-15 23:48:50
98	Algebra for Infinite Forests with an Application to the Temporal Logic EF? Mikolaj Boja´ nczyk and Tomasz Idziaszek University of Warsaw, Poland {bojan,idziaszek}@mimuw.edu.pl Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2015-05-11 06:11:18
99	Imperative Programming in Sets with Atoms∗ Mikołaj Bojańczyk and Szymon Toruńczyk University of Warsaw, Warsaw, Poland Abstract We define an imperative programming language, which extends while programs with a type Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2015-05-11 06:11:45
100	Centre for Polish and Central European Studies(IFPS, Calcutta University) The lecture programme is organized in collaboration with the Institute of International Relations, University of Warsaw and the Ministry of Foreig Add to Reading List Source URL: www.caluniv.ac.in Language: English - Date: 2014-02-03 05:19:27

UPDATE